pad
Precondition
pre
safety: p.codepoint_length > 0
debug: n >= 0
Postcondition
post
debug: result.codepoint_length >= n
debug: ((result.codepoint_length >= n+p.codepoint_length): result = String.this)
0.095dev (GIT hash c0597c5e4454e0a756871b577946c51ba77d9fde)
last changed: 2026-04-14